$\forall$$w$:World, $e$:E. rcv?($e$) $\Rightarrow$ (loc($e$) $\sim$ destination(link($e$)))